Abstraction Techniques for Parameterized Verification

ion Techniques for Parameterized Verification Muralidhar Talupur November 2006 CMU-CS-06-169 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Thesis Committee: Edmund M. Clarke, Chair Randal E. Bryant Amir Pnueli, New York University Jeannette M. Wing Copyright c © 2006 Muralidhar Talupur This research was sponsored by the Gigascale Systems Research Center (GSRC), the Semiconductor Research Corporation (SRC), the Office of Naval Research (ONR), the Naval Research Laboratory (NRL), and the Army Research Office (ARO). The views and conclusions contained in this document are those of the author and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of the sponsoring institutions, the U.S. Government, or any other entity.